interactive theorem prover

[ˌɪntərˈæktɪv ˈθɪərəm ˈpruːvə]
  • 网络

    交互式定理证明器

数据更新时间:2026-08-17 02:26:17
1、
2、

The Constructions of a Parallel Interactive Theorem Prover

交互式并行定理证明环境的构建

互联网摘选

  • 相关词组
  • 今日热词
  • 热门搜索

瑞鸿网英语词典(dict.ruihongw.com)为您提供在线翻译、英语词典、单词大全、英译汉、汉译英等英语服务!可按单词头尾、字数和词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈